Instance,nrRules,success,nrStates,n,runtime_ms
1,3,1,2,1,16
2,3,1,2,1,2
3,3,1,2,1,2
4,3,1,2,1,1
5,3,1,2,1,1
6,3,1,2,1,1
7,3,1,2,1,1
8,3,1,2,1,1
9,3,1,2,1,1
10,3,1,2,1,1
11,3,1,2,1,1
12,3,1,2,1,1
13,3,1,2,1,1
14,3,1,2,1,1
15,3,1,2,1,1
16,3,1,2,1,2
17,3,1,2,1,1
18,3,1,2,1,1
19,3,1,2,1,1
20,3,1,2,1,1
21,3,1,2,1,1
22,64,1,18,2,7
23,64,1,18,2,5
24,64,1,18,2,5
25,64,1,18,2,5
26,64,1,18,2,4
27,64,1,18,2,3
28,64,1,18,2,3
29,64,1,18,2,4
30,64,1,18,2,3
31,64,1,18,2,3
32,64,1,18,2,3
33,64,1,18,2,3
34,64,1,18,2,3
35,64,1,18,2,2
36,64,1,18,2,2
37,64,1,18,2,2
38,64,1,18,2,2
39,64,1,18,2,2
40,64,1,18,2,2
41,64,1,18,2,3
42,64,1,18,2,3
43,64,1,18,2,2
44,64,1,18,2,2
45,64,1,18,2,2
46,64,1,18,2,2
47,64,1,18,2,2
48,64,1,18,2,2
49,64,1,18,2,2
50,64,1,18,2,2
51,64,1,18,2,2
52,64,1,18,2,2
53,64,1,18,2,2
54,64,1,18,2,2
55,64,1,18,2,2
56,64,1,18,2,2
57,64,1,18,2,2
58,64,1,18,2,2
59,64,1,18,2,2
60,64,1,18,2,2
61,64,1,18,2,2
62,64,1,18,2,2
63,64,1,18,2,2
64,64,1,18,2,2
65,64,1,18,2,2
66,64,1,18,2,2
67,64,1,18,2,2
68,64,1,18,2,2
69,64,1,18,2,2
70,64,1,18,2,2
71,64,1,18,2,1
72,64,1,18,2,1
73,64,1,18,2,1
74,64,1,18,2,2
75,64,1,18,2,2
76,64,1,18,2,1
77,64,1,18,2,2
78,64,1,18,2,1
79,64,1,18,2,1
80,64,1,18,2,2
81,64,1,18,2,2
82,64,1,18,2,2
83,64,1,18,2,1
84,64,1,18,2,1
85,64,1,18,2,2
86,64,1,18,2,1
87,64,1,18,2,2
88,64,1,18,2,1
89,64,1,18,2,2
90,64,1,18,2,1
91,64,1,18,2,1
92,64,1,18,2,1
93,64,1,18,2,2
94,64,1,18,2,1
95,64,1,18,2,1
96,64,1,18,2,1
97,64,1,18,2,1
98,64,1,18,2,1
99,64,1,18,2,1
100,64,1,18,2,1
101,64,1,18,2,1
102,64,1,18,2,1
103,64,1,18,2,1
104,64,1,18,2,2
105,64,1,18,2,1
106,64,1,18,2,1
107,64,1,18,2,1
108,64,1,18,2,2
109,64,1,18,2,1
110,64,1,18,2,1
111,64,1,18,2,1
112,64,1,18,2,2
113,64,1,18,2,1
114,64,1,18,2,1
115,64,1,18,2,1
116,64,1,18,2,2
117,64,1,18,2,1
118,64,1,18,2,1
119,64,1,18,2,1
120,64,1,18,2,1
121,306,0,54,2,4
122,64,1,18,2,1
123,64,1,18,2,1
124,64,1,18,2,1
125,64,1,18,2,1
126,64,1,18,2,1
127,64,1,18,2,1
128,64,1,18,2,2
129,64,1,18,2,1
130,64,1,18,2,1
131,64,1,18,2,1
132,64,1,18,2,2
133,64,1,18,2,1
134,64,1,18,2,1
135,64,1,18,2,2
136,64,1,18,2,1
137,64,1,18,2,1
138,64,1,18,2,1
139,64,1,18,2,1
140,64,1,18,2,1
141,64,1,18,2,1
142,64,1,18,2,1
143,64,1,18,2,1
144,64,1,18,2,1
145,64,1,18,2,1
146,64,1,18,2,1
147,64,1,18,2,1
148,64,1,18,2,1
149,64,1,18,2,1
150,345,1,62,3,3
151,345,1,62,3,3
152,345,1,62,3,4
153,345,1,62,3,3
154,345,1,62,3,3
155,345,1,62,3,3
156,345,1,62,3,3
157,345,1,62,3,3
158,345,1,62,3,2
159,345,1,62,3,2
160,345,1,62,3,2
161,269,1,56,3,3
162,345,1,62,3,3
163,345,1,62,3,3
164,345,1,62,3,3
165,345,1,62,3,3
166,269,1,56,3,3
167,269,1,56,3,2
168,345,1,62,3,3
169,345,1,62,3,2
170,345,1,62,3,2
171,269,1,56,3,2
172,879,0,144,3,6
173,345,1,62,3,2
174,879,0,144,3,5
175,345,1,62,3,3
176,345,1,62,3,2
177,345,1,62,3,2
178,269,1,56,3,2
179,345,1,62,3,2
180,345,1,62,3,2
181,879,0,144,3,6
182,345,1,62,3,3
183,269,1,56,3,3
184,345,1,62,3,3
185,345,1,62,3,3
186,879,0,144,3,5
187,345,1,62,3,2
188,345,1,62,3,2
189,269,1,56,3,2
190,345,1,62,3,2
191,345,1,62,3,2
192,879,0,144,3,6
193,345,1,62,3,3
194,269,1,56,3,2
195,269,1,56,3,2
196,345,1,62,3,2
197,269,1,56,3,2
198,345,1,62,3,2
199,345,1,62,3,2
200,345,1,62,3,2
201,345,1,62,3,3
202,345,1,62,3,2
203,345,1,62,3,3
204,345,1,62,3,3
205,345,1,62,3,3
206,345,1,62,3,2
207,345,1,62,3,2
208,269,1,56,3,2
209,345,1,62,3,2
210,269,1,56,3,2
211,345,1,62,3,2
212,345,1,62,3,2
213,269,1,56,3,2
214,345,1,62,3,2
215,345,1,62,3,2
216,345,1,62,3,2
217,345,1,62,3,2
218,345,1,62,3,2
219,345,1,62,3,2
220,269,1,56,3,2
221,269,1,56,3,2
222,345,1,62,3,2
223,879,0,144,3,4
224,345,1,62,3,2
225,879,0,144,3,4
226,345,1,62,3,2
227,345,1,62,3,2
228,345,1,62,3,2
229,345,1,62,3,2
230,345,1,62,3,2
231,345,1,62,3,2
232,345,1,62,3,2
233,269,1,56,3,2
234,269,1,56,3,1
235,345,1,62,3,1
236,345,1,62,3,2
237,345,1,62,3,2
238,345,1,62,3,2
239,879,0,144,3,4
240,345,1,62,3,2
241,879,0,144,3,4
242,269,1,56,3,2
243,345,1,62,3,2
244,345,1,62,3,1
245,345,1,62,3,2
246,269,1,56,3,2
247,345,1,62,3,2
248,345,1,62,3,2
249,345,1,62,3,1
250,345,1,62,3,1
251,345,1,62,3,2
252,345,1,62,3,2
253,345,1,62,3,2
254,345,1,62,3,2
255,269,1,56,3,2
256,269,1,56,3,2
257,345,1,62,3,2
258,345,1,62,3,2
259,345,1,62,3,2
260,345,1,62,3,2
261,345,1,62,3,2
262,345,1,62,3,2
263,345,1,62,3,1
264,345,1,62,3,1
265,345,1,62,3,4
266,345,1,62,3,2
267,345,1,62,3,2
268,269,1,56,3,2
269,345,1,62,3,2
270,1478,1,174,4,6
271,618,1,116,4,5
272,2316,0,292,4,12
273,866,1,128,4,5
274,886,1,134,4,5
275,866,1,128,4,5
276,886,1,134,4,5
277,1478,1,174,4,7
278,886,1,134,4,5
279,1478,1,174,4,8
280,2316,0,292,4,11
281,866,1,128,4,5
282,618,1,116,4,4
283,1212,1,166,4,6
284,866,1,128,4,6
285,1478,1,174,4,8
286,866,1,128,4,5
287,618,1,116,4,4
288,1478,1,174,4,7
289,866,1,128,4,6
290,1478,1,174,4,8
291,1478,1,174,4,8
292,866,1,128,4,4
293,2316,0,292,4,11
294,866,1,128,4,4
295,18186,0,1428,4,69
296,1478,1,174,4,6
297,866,1,128,4,3
298,1478,1,174,4,5
299,1478,1,174,4,5
300,886,1,134,4,4
301,1478,1,174,4,5
302,18186,0,1428,4,65
303,2316,0,292,4,12
304,866,1,128,4,5
305,886,1,134,4,5
306,2316,0,292,4,12
307,1478,1,174,4,6
308,866,1,128,4,4
309,2316,0,292,4,8
310,1478,1,174,4,6
311,1478,1,174,4,6
312,866,1,128,4,4
313,2316,0,292,4,9
314,1478,1,174,4,6
315,1478,1,174,4,5
316,2316,0,292,4,10
317,1478,1,174,4,6
318,1478,1,174,4,6
319,866,1,128,4,4
320,866,1,128,4,4
321,1478,1,174,4,6
322,2316,0,292,4,9
323,866,1,128,4,4
324,3736,0,338,4,12
325,866,1,128,4,4
326,866,1,128,4,4
327,866,1,128,4,4
328,1478,1,174,4,6
329,1478,1,174,4,6
330,1478,1,174,4,5
331,866,1,128,4,4
332,1478,1,174,4,5
333,2316,0,292,4,8
334,866,1,128,4,4
335,866,1,128,4,4
336,1478,1,174,4,5
337,586,0,110,4,3
338,586,0,110,4,3
339,866,1,128,4,4
340,866,1,128,4,3
341,1478,1,174,4,6
342,586,0,110,4,3
343,866,1,128,4,4
344,2316,0,292,4,9
345,1478,1,174,4,5
346,866,1,128,4,4
347,866,1,128,4,4
348,866,1,128,4,4
349,618,1,116,4,3
350,866,1,128,4,4
351,2316,0,292,4,8
352,866,1,128,4,4
353,1478,1,174,4,5
354,618,1,116,4,3
355,866,1,128,4,4
356,866,1,128,4,4
357,866,1,128,4,4
358,618,1,116,4,3
359,866,1,128,4,3
360,866,1,128,4,4
361,1478,1,174,4,6
362,866,1,128,4,4
363,866,1,128,4,4
364,866,1,128,4,4
365,2316,0,292,4,9
366,866,1,128,4,3
367,866,1,128,4,4
368,866,1,128,4,4
369,886,1,134,4,4
370,866,1,128,4,4
371,1478,1,174,4,6
372,1478,1,174,4,6
373,1478,1,174,4,6
374,1478,1,174,4,5
375,866,1,128,4,4
376,866,1,128,4,3
377,866,1,128,4,4
378,2316,0,292,4,8
379,866,1,128,4,3
380,866,1,128,4,3
381,866,1,128,4,4
382,1478,1,174,4,6
383,1478,1,174,4,5
384,866,1,128,4,4
385,866,1,128,4,3
386,886,1,134,4,4
387,866,1,128,4,3
388,1732,0,276,4,7
389,866,1,128,4,3
390,1478,1,174,4,5
391,886,1,134,4,3
392,866,1,128,4,3
393,866,1,128,4,3
394,1478,1,174,4,5
395,866,1,128,4,4
396,866,1,128,4,4
397,1478,1,174,4,6
398,1478,1,174,4,6
399,886,1,134,4,4
400,866,1,128,4,4
401,618,1,116,4,3
402,866,1,128,4,4
403,2316,0,292,4,8
404,886,1,134,4,4
405,866,1,128,4,4
406,866,1,128,4,4
407,886,1,134,4,4
408,2316,0,292,4,9
409,8858,0,804,4,29
410,1478,1,174,4,7
411,886,1,134,4,5
412,866,1,128,4,5
413,1478,1,174,4,8
414,1478,1,174,4,7
415,866,1,128,4,5
416,886,1,134,4,5
417,2316,0,292,4,11
418,886,1,134,4,5
419,1478,1,174,4,7
420,866,1,128,4,5
421,1478,1,174,4,7
422,2316,0,292,4,12
423,866,1,128,4,5
424,866,1,128,4,5
425,2316,0,292,4,12
426,886,1,134,4,5
427,2316,0,292,4,11
428,886,1,134,4,5
429,886,1,134,4,10
430,1478,1,174,4,14
431,866,1,128,4,9
432,1478,1,174,4,13
433,1478,1,174,4,13
434,1478,1,174,4,13
435,886,1,134,4,9
436,866,1,128,4,9
437,866,1,128,4,9
438,866,1,128,4,10
439,886,1,134,4,11
440,866,1,128,4,10
441,886,1,134,4,8
442,1478,1,174,4,12
443,1478,1,174,4,13
444,1551,1,222,5,14
445,5345,0,482,5,37
446,5739,1,446,5,45
447,3125,0,402,5,26
448,5177,0,520,5,41
449,2931,1,304,5,20
450,5739,1,446,5,38
451,2943,1,296,5,20
452,5739,1,446,5,37
453,2943,1,296,5,21
454,5739,1,446,5,32
455,1531,1,216,5,13
456,1531,1,216,5,13
457,1531,1,216,5,8
458,2943,1,296,5,24
459,5739,1,446,5,36
460,3797,0,482,5,25
461,1551,1,222,5,11
462,3797,0,482,5,24
463,43827,0,2526,5,255
464,1531,1,216,5,11
465,2943,1,296,5,18
466,3797,0,482,5,24
467,1111,1,198,5,9
468,5177,0,520,5,32
469,5739,1,446,5,35
470,1551,1,222,5,12
471,1531,1,216,5,9
472,2231,1,250,5,9
473,2931,1,304,5,11
474,1551,1,222,5,7
475,5739,1,446,5,21
476,1551,1,222,5,7
477,2943,1,296,5,11
478,5739,1,446,5,21
479,3797,0,482,5,17
480,2231,1,250,5,10
481,5177,0,520,5,24
482,5739,1,446,5,25
483,5739,1,446,5,26
484,5739,1,446,5,24
485,1531,1,216,5,8
486,11815,0,1134,5,52
487,3797,0,482,5,12
488,1387,1,194,5,4
489,1551,1,222,5,5
490,5177,0,520,5,17
491,5738,0,446,5,21
492,1877,1,254,5,8
493,5177,0,520,5,16
494,3797,0,482,5,12
495,5177,0,520,5,16
496,2943,1,296,5,8
497,1531,1,216,5,5
498,6721,0,592,5,23
499,47951,0,2650,5,144
500,2931,1,304,5,10
501,5739,1,446,5,19
502,5177,0,520,5,17
503,1531,1,216,5,5
504,5177,0,520,5,16
505,2231,1,250,5,7
506,2231,1,250,5,10
507,3797,0,482,5,12
508,2931,1,304,5,11
509,2943,1,296,5,9
510,1531,1,216,5,7
511,3797,0,482,5,15
512,2231,1,250,5,7
513,1387,1,194,5,5
514,6721,0,592,5,20
515,2943,1,296,5,9
516,2943,1,296,5,9
517,1735,0,232,5,6
518,2231,1,250,5,7
519,6721,0,592,5,27
520,1641,1,232,5,5
521,2231,1,250,5,8
522,2943,1,296,5,9
523,6721,0,592,5,19
524,1387,1,194,5,5
525,2943,1,296,5,13
526,13587,0,1166,5,41
527,5177,0,520,5,16
528,2231,1,250,5,8
529,1387,1,194,5,5
530,2943,1,296,5,10
531,793,0,148,5,3
532,5739,1,446,5,20
533,1551,1,222,5,5
534,1387,1,194,5,5
535,5177,0,520,5,19
536,1531,1,216,5,6
537,2231,1,250,5,10
538,2231,1,250,5,10
539,2231,1,250,5,9
540,2231,1,250,5,9
541,2231,1,250,5,8
542,2231,1,250,5,8
543,1387,1,194,5,6
544,5739,1,446,5,22
545,1531,1,216,5,5
546,2231,1,250,5,7
547,3797,0,482,5,17
548,2931,1,304,5,12
549,3797,0,482,5,14
550,2231,1,250,5,7
551,1387,1,194,5,5
552,2931,1,304,5,10
553,17955,0,1574,5,61
554,2943,1,296,5,10
555,1387,1,194,5,5
556,1551,1,222,5,6
557,2931,1,304,5,9
558,1551,1,222,5,7
559,1531,1,216,5,7
560,1735,0,232,5,8
561,5177,0,520,5,15
562,1387,1,194,5,5
563,1735,0,232,5,7
564,2943,1,296,5,12
565,5177,0,520,5,15
566,1387,1,194,5,5
567,1531,1,216,5,5
568,2943,1,296,5,10
569,2943,1,296,5,12
570,2931,1,304,5,11
571,5177,0,520,5,19
572,1551,1,222,5,7
573,6721,0,592,5,23
574,2943,1,296,5,10
575,2931,1,304,5,10
576,2943,1,296,5,12
577,45807,0,2518,5,144
578,6721,0,592,5,22
579,3213,0,400,5,10
580,2231,1,250,5,8
581,2943,1,296,5,12
582,2931,1,304,5,11
583,2943,1,296,5,13
584,2943,1,296,5,11
585,2943,1,296,5,11
586,3125,0,402,5,12
587,1387,1,194,5,7
588,2943,1,296,5,14
589,2943,1,296,5,15
590,1387,1,194,5,7
591,5739,1,446,5,27
592,2231,1,250,5,10
593,1531,1,216,5,8
594,1551,1,222,5,8
595,1387,1,194,5,7
596,1387,1,194,5,7
597,5177,0,520,5,21
598,3797,0,482,5,17
599,3797,0,482,5,13
600,2931,1,304,5,10
601,2931,1,304,5,10
602,2943,1,296,5,9
603,1735,0,232,5,7
604,1571,1,228,5,6
605,2943,1,296,5,10
606,2943,1,296,5,10
607,5177,0,520,5,16
608,3125,0,402,5,13
609,1387,1,194,5,6
610,1551,1,222,5,12
611,11083,0,1054,5,41
612,1551,1,222,5,5
613,2231,1,250,5,7
614,1387,1,194,5,5
615,1387,1,194,5,5
616,2557,1,282,5,8
617,1387,1,194,5,5
618,1387,1,194,5,4
619,1387,1,194,5,5
620,2231,1,250,5,7
621,2943,1,296,5,13
622,1387,1,194,5,6
623,3797,0,482,5,15
624,1387,1,194,5,5
625,3797,0,482,5,15
626,5739,1,446,5,19
627,2943,1,296,5,11
628,21007,0,1798,5,74
629,1531,1,216,5,6
630,5739,1,446,5,19
631,2931,1,304,5,11
632,1387,1,194,5,6
633,5177,0,520,5,15
634,3125,0,402,5,12
635,2231,1,250,5,7
636,2943,1,296,5,11
637,1551,1,222,5,7
638,2231,1,250,5,9
639,1531,1,216,5,5
640,2931,1,304,5,9
641,2231,1,250,5,7
642,3125,0,402,5,11
643,1387,1,194,5,6
644,1111,1,198,5,5
645,5739,1,446,5,24
646,2943,1,296,5,9
647,2943,1,296,5,9
648,2931,1,304,5,8
649,5177,0,520,5,16
650,2931,1,304,5,9
651,2231,1,250,5,7
652,793,0,148,5,3
653,6721,0,592,5,22
654,2943,1,296,5,10
655,2943,1,296,5,9
656,2231,1,250,5,7
657,1111,1,198,5,6
658,5739,1,446,5,25
659,3212,1,366,6,12
660,2340,1,326,6,8
661,10028,1,680,6,32
662,4408,1,418,6,17
663,4552,1,440,6,15
664,3212,1,366,6,11
665,4408,1,418,6,13
666,8474,0,758,6,26
667,6548,1,506,6,18
668,9832,1,682,6,30
669,1358,0,224,6,6
670,4540,1,448,6,15
671,2360,1,332,6,9
672,4552,1,440,6,16
673,4540,1,448,6,14
674,9832,1,682,6,29
675,4408,1,418,6,16
676,6548,1,506,6,20
677,4552,1,440,6,18
678,7286,0,768,6,24
679,4540,1,448,6,14
680,3232,1,372,6,13
681,5162,0,592,6,16
682,9832,1,682,6,29
683,2340,1,326,6,8
684,3212,1,366,6,11
685,123580,0,7026,6,388
686,4408,1,418,6,18
687,4540,1,448,6,17
688,1358,0,224,6,6
689,7286,0,768,6,22
690,6548,1,506,6,23
691,3252,1,378,6,11
692,3212,1,366,6,12
693,35262,0,2870,6,116
694,5558,0,714,6,25
695,7286,0,768,6,31
696,4078,0,534,6,24
697,6548,1,506,6,30
698,13650,0,968,6,56
699,2360,1,332,6,10
700,7286,0,768,6,26
701,9832,1,682,6,32
702,9832,1,682,6,27
703,6548,1,506,6,23
704,3252,1,378,6,11
705,66440,0,2840,6,200
706,6548,1,506,6,23
707,7286,0,768,6,22
708,6548,1,506,6,27
709,5558,0,714,6,18
710,25438,0,2390,6,82
711,6302,0,658,6,22
712,4552,1,440,6,22
713,2752,1,316,6,12
714,3212,1,366,6,13
715,3252,1,378,6,13
716,3212,1,366,6,16
717,80282,0,4672,6,347
718,6302,0,658,6,27
719,3252,1,378,6,25
720,2052,1,282,6,14
721,3078,1,348,6,21
722,13866,0,1340,6,59
723,62308,0,3328,6,233
724,10028,1,680,6,43
725,5558,0,714,6,21
726,3252,1,378,6,13
727,4408,1,418,6,17
728,3212,1,366,6,14
729,4408,1,418,6,19
730,4540,1,448,6,19
731,4750,0,614,6,22
732,4540,1,448,6,18
733,1590,0,244,6,8
734,1358,0,224,6,7
735,6548,1,506,6,25
736,27200,0,2142,6,98
737,27200,0,2142,6,98
738,4528,1,456,6,16
739,4540,1,448,6,17
740,1358,0,224,6,7
741,3180,0,360,6,10
742,2052,1,282,6,8
743,2052,1,282,6,8
744,2052,1,282,6,6
745,6302,0,658,6,22
746,6302,0,658,6,24
747,4540,1,448,6,14
748,2752,1,316,6,9
749,6302,0,658,6,20
750,13650,0,968,6,38
751,2400,0,320,6,9
752,3212,1,366,6,12
753,7286,0,768,6,22
754,7286,0,768,6,23
755,6320,1,496,6,20
756,2400,0,320,6,8
757,2052,1,282,6,7
758,4408,1,418,6,12
759,2052,1,282,6,8
760,6320,1,496,6,20
761,10028,1,680,6,31
762,4750,0,614,6,16
763,10028,1,680,6,38
764,4540,1,448,6,27
765,3212,1,366,6,19
766,48230,0,3782,6,217
767,4078,0,534,6,17
768,7286,0,768,6,24
769,4408,1,418,6,14
770,3212,1,366,6,13
771,6548,1,506,6,22
772,10028,1,680,6,34
773,9832,1,682,6,33
774,4540,1,448,6,17
775,2216,1,310,6,9
776,2340,1,326,6,9
777,7286,0,768,6,30
778,7286,0,768,6,22
779,3212,1,366,6,10
780,3212,1,366,6,12
781,3212,1,366,6,10
782,3212,1,366,6,11
783,1804,0,260,6,6
784,1358,0,224,6,5
785,3212,1,366,6,10
786,7286,0,768,6,23
787,2360,1,332,6,8
788,1644,0,268,6,8
789,20597,0,1220,6,62
790,2360,1,332,6,11
791,7286,0,768,6,25
792,4552,1,440,6,14
793,3232,1,372,6,10
794,4408,1,418,6,14
795,2340,1,326,6,7
796,4540,1,448,6,13
797,3252,1,378,6,11
798,2752,1,316,6,9
799,10028,1,680,6,34
800,1590,0,244,6,5
801,3048,0,352,6,10
802,3212,1,366,6,9
803,2752,0,330,6,9
804,27648,0,1894,6,84
805,2752,1,316,6,9
806,3212,1,366,6,10
807,3212,1,366,6,10
808,2258,0,298,6,7
809,4540,1,448,6,13
810,4540,1,448,6,14
811,4540,1,448,6,13
812,7286,0,768,6,25
813,23804,0,2050,6,83
814,25904,0,2170,6,77
815,4078,0,534,6,14
816,2052,1,282,6,8
817,2752,1,316,6,10
818,6874,1,538,6,22
819,2360,1,332,6,8
820,3232,1,372,6,10
821,13650,0,968,6,47
822,54138,0,3930,6,281
823,10028,1,680,6,53
824,2752,1,316,6,13
825,3212,1,366,6,12
826,5162,0,592,6,24
827,6320,1,496,6,26
828,4540,1,448,6,20
829,3252,1,378,6,24
830,4540,1,448,6,19
831,3232,1,372,6,12
832,3212,1,366,6,13
833,3212,1,366,6,13
834,13650,0,968,6,54
835,6548,1,506,6,24
836,10028,1,680,6,40
837,3252,1,378,6,13
838,2340,1,326,6,10
839,3212,1,366,6,13
840,4408,1,418,6,18
841,50948,0,3122,6,200
842,9286,0,726,6,36
843,4540,1,448,6,18
844,2360,1,332,6,10
845,21095,0,1086,6,86
846,16765,1,904,7,59
847,12751,0,1036,7,52
848,6305,1,606,7,25
849,8493,1,684,7,31
850,5661,1,566,7,21
851,3571,0,418,7,14
852,14461,1,936,7,47
853,1565,0,262,7,8
854,4117,1,438,7,18
855,33013,1,1524,7,138
856,8013,1,628,7,38
857,3753,1,438,7,17
858,1923,0,300,7,10
859,31349,0,2230,7,118
860,25175,0,1498,7,74
861,14265,1,938,7,45
862,3333,1,470,7,11
863,6981,0,634,7,22
864,8473,1,678,7,26
865,2717,1,370,7,10
866,15719,0,1162,7,51
867,15719,0,1162,7,54
868,16765,1,904,7,49
869,42449,0,2622,7,129
870,2853,0,412,7,10
871,4357,1,510,7,14
872,8493,1,684,7,28
873,9675,0,1058,7,31
874,7599,0,988,7,27
875,14461,1,936,7,45
876,105071,0,4726,7,417
877,66701,0,4108,7,272
878,64595,0,2552,7,229
879,19693,0,1884,7,80
880,14265,1,938,7,51
881,80209,0,4602,7,316
882,8245,1,668,7,32
883,8481,1,692,7,36
884,17115,0,1746,7,74
885,4193,1,482,7,17
886,8473,1,678,7,27
887,42001,0,3302,7,133
888,4357,1,510,7,13
889,6017,1,562,7,19
890,199767,0,8174,7,729
891,8233,1,676,7,33
892,16765,1,904,7,62
893,5983,1,556,7,23
894,125149,0,5442,7,538
895,33861,0,2338,7,168
896,22121,0,1906,7,87
897,14317,1,914,7,59
898,3733,1,432,7,17
899,148861,0,5674,7,619
900,17543,0,1322,7,57
901,3917,1,466,7,13
902,12199,0,1134,7,37
903,1851,0,306,7,9
904,8253,1,682,7,26
905,36813,0,3108,7,168
906,3639,1,496,7,15
907,6293,1,614,7,31
908,3417,1,404,7,14
909,4117,1,438,7,17
910,118973,0,4944,7,447
911,6841,1,562,7,29
912,1947,0,326,7,9
913,4337,1,504,7,21
914,12199,0,1134,7,47
915,6841,1,562,7,30
916,16765,1,904,7,65
917,17543,0,1322,7,77
918,2685,0,364,7,13
919,4361,0,472,7,16
920,8245,1,668,7,35
921,5873,1,540,7,26
922,3803,0,438,7,18
923,3293,1,458,7,14
924,6017,1,562,7,30
925,21417,0,1840,7,88
926,306977,0,8010,7,1279
927,12199,0,1134,7,52
928,8473,1,678,7,30
929,4357,1,510,7,19
930,9087,0,892,7,33
931,4337,1,504,7,24
932,15719,0,1162,7,74
933,6017,1,562,7,26
934,8013,1,628,7,31
935,4377,1,516,7,19
936,5873,1,540,7,24
937,6431,0,752,7,29
938,2959,0,368,7,13
939,3571,0,418,7,14
940,12199,0,1134,7,47
941,3803,0,438,7,14
942,33789,0,2322,7,120
943,6017,1,562,7,24
944,3753,1,438,7,16
945,8555,0,928,7,37
946,22003,0,1424,7,79
947,47209,0,3036,7,186
948,8493,1,684,7,46
949,33333,0,2916,7,112
950,139779,0,7098,7,548
951,6841,1,562,7,22
952,40345,0,3150,7,134
953,16111,0,1626,7,54
954,8555,0,928,7,28
955,22003,0,1424,7,66
956,12199,0,1134,7,39
957,15719,0,1162,7,47
958,8253,1,682,7,26
959,8253,1,682,7,25
960,11075,0,954,7,34
961,3733,1,432,7,12
962,3025,1,420,7,10
963,5873,1,540,7,16
964,6149,1,592,7,19
965,118245,0,5210,7,378
966,11075,0,954,7,40
967,4337,1,504,7,22
968,2959,0,368,7,14
969,14461,1,936,7,74
970,20345,1,1066,7,112
971,14265,1,938,7,82
972,5661,1,566,7,25
973,8013,1,628,7,38
974,8473,1,678,7,34
975,40713,0,3146,7,197
976,14265,1,938,7,85
977,20345,1,1066,7,85
978,6149,1,592,7,23
979,66829,0,4138,7,259
980,15719,0,1162,7,56
981,8245,1,668,7,29
982,4337,1,504,7,17
983,5661,1,566,7,24
984,33841,1,1544,7,151
985,7793,0,640,7,30
986,20415,0,1182,7,78
987,12199,0,1134,7,46
988,20345,1,1066,7,72
989,4858,1,570,8,21
990,13288,0,1170,8,48
991,10090,1,836,8,41
992,47390,1,1702,8,210
993,4810,0,594,8,20
994,59929,0,2124,8,220
995,5098,1,554,8,22
996,39408,0,2148,8,147
997,4450,1,630,8,20
998,19622,1,1140,8,69
999,3352,0,452,8,16
1000,24634,1,1300,8,107
1001,24918,1,1358,8,111
1002,4878,1,576,8,22
1003,7902,1,758,8,30
1004,12124,0,1112,8,47
1005,12124,0,1112,8,43
1006,7216,0,638,8,28
1007,8696,0,956,8,37
1008,10398,1,850,8,43
1009,4514,0,572,8,21
1010,48664,0,2436,8,299
1011,18750,1,1170,8,114
1012,44526,0,2202,8,154
1013,158454,0,6618,8,610
1014,36266,0,3170,8,155
1015,19622,1,1140,8,87
1016,44416,0,2186,8,171
1017,5606,1,664,8,23
1018,11088,0,1240,8,57
1019,19610,1,1148,8,101
1020,25114,1,1356,8,142
1021,597596,0,15696,8,2300
1022,83474,0,4858,8,431
1023,8696,0,956,8,34
1024,5606,1,664,8,22
1025,1448,0,252,8,7
1026,5894,0,652,8,28
1027,3524,0,444,8,17
1028,2798,0,388,8,16
1029,24388,0,1646,8,89
1030,193152,0,7984,8,751
1031,23902,1,1298,8,91
1032,20744,0,1484,8,105
1033,47390,1,1702,8,154
1034,10212,0,1030,8,32
1035,57388,0,4704,8,186
1036,173648,0,8730,8,597
1037,26524,0,1836,8,80
1038,17310,0,2100,8,70
1039,40406,0,3488,8,142
1040,19634,1,1132,8,83
1041,143382,0,6088,8,460
1042,9958,1,806,8,33
1043,227188,0,9032,8,796
1044,6182,1,632,8,21
1045,18606,1,1148,8,58
1046,16208,0,1232,8,54
1047,135688,0,6806,8,444
1048,56078,0,4102,8,183
1049,5330,0,574,8,16
1050,5098,1,554,8,16
1051,19610,1,1148,8,63
1052,33256,0,3128,8,142
1053,4784,0,554,8,30
1054,53444,0,3898,8,222
1055,17932,0,1378,8,98
1056,23726,1,1306,8,116
1057,12412,0,1156,8,47
1058,7506,1,650,8,28
1059,18646,1,1218,8,66
1060,83490,0,4804,8,395
1061,36442,0,3280,8,141
1062,5042,1,604,8,28
1063,7482,1,684,8,28
1064,1774,0,300,8,10
1065,19038,1,1214,8,67
1066,10428,0,828,8,38
1067,4420,0,516,8,19
1068,65150,0,3486,8,232
1069,2022,0,322,8,11
1070,9938,1,800,8,37
1071,4398,1,520,8,17
1072,3978,1,552,8,17
1073,10392,0,820,8,40
1074,10302,1,870,8,63
1075,10460,0,958,8,69
1076,1556,0,268,8,8
1077,9968,0,1110,8,37
1078,7864,0,940,8,41
1079,18698,1,1194,8,66
1080,5626,1,670,8,37
1081,19673,0,1080,8,91
1082,10090,1,836,8,45
1083,4390,1,612,8,22
1084,29752,0,1776,8,122
1085,33182,0,2420,8,119
1086,18750,1,1170,8,76
1087,148666,0,6378,8,600
1088,151498,0,6594,8,714
1089,9050,0,996,8,36
1090,7102,1,732,8,28
1091,19756,0,1538,8,71
1092,10314,1,862,8,39
1093,23902,1,1298,8,90
1094,149728,0,7854,8,584
1095,103244,0,6228,8,373
1096,18230,1,1026,8,69
1097,18230,1,1026,8,72
1098,2992,0,414,8,13
1099,6072,1,618,8,23
1100,8766,1,734,8,31
1101,19610,1,1148,8,92
1102,13784,0,1322,8,72
1103,24792,0,1550,8,100
1104,18698,0,1070,8,70
1105,4382,0,542,8,23
1106,42794,0,3458,8,169
1107,47390,1,1702,8,238
1108,24634,1,1300,8,90
1109,5210,0,706,8,23
1110,19756,0,1538,8,77
1111,80406,0,3930,8,344
1112,37730,0,2834,8,141
1113,19674,1,1080,8,71
1114,19038,1,1214,8,65
1115,19674,1,1080,8,72
1116,10090,1,836,8,39
1117,24388,0,1646,8,83
1118,4236,0,506,8,18
1119,39408,0,2148,8,153
1120,32032,0,2992,8,126
1121,7102,1,732,8,30
1122,25114,1,1356,8,102
1123,4235,0,556,9,19
1124,2299,0,388,9,13
1125,22113,0,1776,9,83
1126,29831,1,1670,9,104
1127,22647,1,1382,9,86
1128,25765,0,1534,9,96
1129,783489,0,23980,9,3356
1130,7163,0,812,9,24
1131,77483,1,2790,9,280
1132,54687,0,3558,9,170
1133,88143,0,4454,9,268
1134,20001,0,1572,9,63
1135,19695,1,1148,9,62
1136,8747,1,938,9,27
1137,85403,0,4336,9,261
1138,28923,1,1534,9,126
1139,3873,0,518,9,18
1140,90939,0,5174,9,365
1141,115671,0,6056,9,528
1142,24809,0,2604,9,90
1143,621379,0,15326,9,2399
1144,445209,0,17932,9,1488
1145,97281,0,3434,9,390
1146,94651,0,4810,9,330
1147,34473,0,2076,9,120
1148,22113,0,1776,9,84
1149,90887,0,5492,9,356
1150,1581,0,296,9,9
1151,7547,1,754,9,30
1152,29053,0,2080,9,112
1153,17613,0,1646,9,68
1154,5045,0,616,9,21
1155,24073,0,1956,9,89
1156,8719,0,880,9,31
1157,572427,0,13692,9,2287
1158,39757,0,2188,9,148
1159,819711,0,22570,9,3592
1160,143581,0,7444,9,524
1161,21969,0,1754,9,82
1162,16295,0,2134,9,77
1163,12579,0,1798,9,58
1164,9091,1,882,9,33
1165,10131,1,856,9,35
1166,23273,0,1728,9,83
1167,266111,0,8168,9,912
1168,5523,1,658,9,21
1169,15369,0,1510,9,51
1170,9693,0,1118,9,31
1171,81635,0,4116,9,280
1172,8083,1,848,9,30
1173,32127,0,1720,9,95
1174,217819,0,8526,9,721
1175,29053,0,2080,9,90
1176,15567,1,1194,9,54
1177,11843,1,1002,9,38
1178,11547,1,944,9,41
1179,6079,1,670,9,19
1180,33479,0,3000,9,112
1181,113421,0,6802,9,392
1182,15319,1,1178,9,54
1183,4447,0,606,9,18
1184,54619,1,2116,9,204
1185,5341,0,602,9,21
1186,12027,1,1000,9,47
1187,335203,0,9992,9,1405
1188,29053,0,2080,9,111
1189,15119,1,1188,9,57
1190,53083,1,2042,9,211
1191,217411,0,8592,9,817
1192,328213,0,12812,9,1500
1193,43723,0,3192,9,170
1194,10643,0,938,9,49
1195,9667,1,916,9,38
1196,2435,0,386,9,12
1197,15369,0,1510,9,61
1198,26227,0,1438,9,107
1199,130719,0,6310,9,506
1200,16945,0,1692,9,65
1201,7061,0,734,9,29
1202,40632,0,1962,9,153
1203,14040,0,1174,10,56
1204,14844,1,1288,10,67
1205,97824,0,6158,10,389
1206,15468,1,1182,10,60
1207,21592,1,1336,10,81
1208,7190,0,778,10,34
1209,11088,0,960,10,44
1210,10582,0,1000,10,42
1211,49964,0,3674,10,192
1212,50788,0,4566,10,204
1213,915910,0,22794,10,4701
1214,60468,1,2470,10,243
1215,4698,0,578,10,21
1216,29302,0,2112,10,108
1217,7908,1,910,10,33
1218,8408,0,988,10,34
1219,71158,0,3048,10,298
1220,15068,0,1276,10,64
1221,9688,1,1042,10,41
1222,76492,0,4472,10,285
1223,7532,1,864,10,33
1224,5034,0,686,10,21
1225,9020,0,836,10,37
1226,32632,0,3188,10,128
1227,334304,0,15668,10,1267
1228,13512,1,1128,10,57
1229,4252,0,580,10,20
1230,8604,1,914,10,46
1231,20198,0,1254,10,97
1232,13932,1,1166,10,69
1233,315928,0,9886,10,1432
1234,20852,0,2640,10,102
1235,39240,1,1920,10,161
1236,7228,0,958,10,32
1237,92658,0,7480,10,365
1238,25054,0,2152,10,93
1239,24326,0,1992,10,97
1240,9412,1,1026,10,40
1241,25788,1,1486,10,100
1242,9660,0,1168,10,49
1243,121882,0,8216,10,473
1244,143462,0,8452,10,569
1245,9480,0,890,10,38
1246,222472,0,9286,10,867
1247,22090,0,2304,10,96
1248,8840,0,1042,10,35
1249,117338,0,7680,10,437
1250,251040,0,9806,10,1196
1251,25026,0,2540,10,107
1252,9228,1,992,10,38
1253,160728,1,4050,10,638
1254,3156,0,490,10,16
1255,13472,1,1116,10,54
1256,14220,1,1210,10,53
1257,38302,0,2374,10,144
1258,85070,0,6048,10,349
1259,63996,0,4938,10,251
1260,91764,0,6382,10,370
1261,54634,0,2864,10,208
1262,128664,0,7354,10,527
1263,9228,1,992,10,40
1264,105656,0,5342,10,406
1265,9324,0,968,10,37
1266,75000,0,5460,10,292
1267,101422,0,7010,10,408
1268,49168,0,4282,10,193
1269,13616,1,1138,10,52
1270,4866,0,624,10,22
1271,28428,1,1838,10,105